Boolean satisfiability problem

Boolean satisfiability problem - problem of determining if a Boolean formula could be made true. Article “Boolean satisfiability problem” in English Wikipedia has 60 points for quality (as of July 1, 2026). The article contains 45 references and 24 sections.

This article has the best quality in German Wikipedia. However, this article is the most popular in English version.

In June 2026 the article “Boolean satisfiability problem” was edited by 2 authors in English Wikipedia and written by 5 authors in all languages.

Since the creation of article “Boolean satisfiability problem”, its content was written by 287 registered users of English Wikipedia and edited by 807 registered Wikipedia users in all languages.

The article is cited 266 times in English Wikipedia and cited 1140 times in all languages.

The highest Authors Interest rank from 2001:

• Local (English): #1199 in December 2001
• Global: #1288 in December 2001

The highest popularity rank from 2008:

• Local (English): #34245 in December 2014
• Global: #47845 in January 2011

There are 26 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from July 1, 2026 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

#	Language	Quality grade	Quality score
1	German (de) Erfüllbarkeitsproblem der Aussagenlogik		63.6666
2	English (en) Boolean satisfiability problem		60.0043
3	Hungarian (hu) Logikai kielégítési probléma		54.994
4	French (fr) Problème SAT		38.2708
5	Romanian (ro) Problema satisfiabilității booleene		37.732
6	Hebrew (he) בעיית הספיקות		27.634
7	Catalan (ca) Problema de satisfacibilitat booleana		20.8141
8	Dutch (nl) Vervulbaarheidsprobleem		20.0616
9	Persian (fa) مسئله صدق‌پذیری بولی		17.8517
10	Portuguese (pt) Problema de satisfatibilidade booliana		15.619

More...

The following table shows the most popular language versions of the article.

The most popular language versions of the article "Boolean satisfiability problem" in all the time

#	Language	Popularity award	Relative popularity
1	English (en) Boolean satisfiability problem		3 532 762
2	German (de) Erfüllbarkeitsproblem der Aussagenlogik		303 811
3	French (fr) Problème SAT		231 044
4	Japanese (ja) 充足可能性問題		230 661
5	Russian (ru) Задача выполнимости булевых формул		171 011
6	Chinese (zh) 布尔可满足性问题		132 879
7	Spanish (es) Problema de satisfacibilidad booleana		113 086
8	Polish (pl) Problem spełnialności		112 503
9	Italian (it) Soddisfacibilità booleana		84 427
10	Hebrew (he) בעיית הספיקות		71 706

More...

The following table shows the language versions of the article with the highest popularity in the last month.

The most popular language versions of the article "Boolean satisfiability problem" in June 2026

#	Language	Popularity award	Relative popularity
1	English (en) Boolean satisfiability problem		8 493
2	French (fr) Problème SAT		600
3	German (de) Erfüllbarkeitsproblem der Aussagenlogik		540
4	Russian (ru) Задача выполнимости булевых формул		512
5	Japanese (ja) 充足可能性問題		461
6	Polish (pl) Problem spełnialności		254
7	Chinese (zh) 布尔可满足性问题		237
8	Spanish (es) Problema de satisfacibilidad booleana		205
9	Italian (it) Soddisfacibilità booleana		150
10	Hebrew (he) בעיית הספיקות		145

More...

The following table shows the language versions of the article with the highest Authors’ Interest.

Language versions of the article "Boolean satisfiability problem" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.

#	Language	AI award	Relative AI
1	English (en) Boolean satisfiability problem		287
2	French (fr) Problème SAT		117
3	German (de) Erfüllbarkeitsproblem der Aussagenlogik		80
4	Italian (it) Soddisfacibilità booleana		46
5	Russian (ru) Задача выполнимости булевых формул		36
6	Hebrew (he) בעיית הספיקות		30
7	Spanish (es) Problema de satisfacibilidad booleana		25
8	Portuguese (pt) Problema de satisfatibilidade booliana		25
9	Japanese (ja) 充足可能性問題		24
10	Polish (pl) Problem spełnialności		23

More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

Language versions of the article "Boolean satisfiability problem" with the highest AI in June 2026

#	Language	AI award	Relative AI
1	Czech (cs) Problém splnitelnosti booleovské formule		2
2	English (en) Boolean satisfiability problem		2
3	Hungarian (hu) Logikai kielégítési probléma		1
4	Arabic (ar) مسألة استيفاء منطقية		0
5	Catalan (ca) Problema de satisfacibilitat booleana		0
6	German (de) Erfüllbarkeitsproblem der Aussagenlogik		0
7	Esperanto (eo) Bulea plenumebloproblemo		0
8	Spanish (es) Problema de satisfacibilidad booleana		0
9	Persian (fa) مسئله صدق‌پذیری بولی		0
10	Finnish (fi) Lauselogiikan toteutuvuusongelma		0

More...

The following table shows the language versions of the article with the highest number of citations.

Language versions of the article "Boolean satisfiability problem" with the highest Citation Index (CI)

#	Language	CI award	Relative CI
1	English (en) Boolean satisfiability problem		266
2	Japanese (ja) 充足可能性問題		131
3	Chinese (zh) 布尔可满足性问题		98
4	French (fr) Problème SAT		94
5	German (de) Erfüllbarkeitsproblem der Aussagenlogik		83
6	Russian (ru) Задача выполнимости булевых формул		59
7	Portuguese (pt) Problema de satisfatibilidade booliana		56
8	Spanish (es) Problema de satisfacibilidad booleana		51
9	Italian (it) Soddisfacibilità booleana		47
10	Ukrainian (uk) Задача здійсненності булевих формул		41

More...

#	Language	Value
ar	Arabic مسألة استيفاء منطقية
ca	Catalan Problema de satisfacibilitat booleana
cs	Czech Problém splnitelnosti booleovské formule
de	German Erfüllbarkeitsproblem der Aussagenlogik
en	English Boolean satisfiability problem
eo	Esperanto Bulea plenumebloproblemo
es	Spanish Problema de satisfacibilidad booleana
fa	Persian مسئله صدق‌پذیری بولی
fi	Finnish Lauselogiikan toteutuvuusongelma
fr	French Problème SAT
he	Hebrew בעיית הספיקות
hu	Hungarian Logikai kielégítési probléma
it	Italian Soddisfacibilità booleana
ja	Japanese 充足可能性問題
ko	Korean 충족 가능성 문제
nl	Dutch Vervulbaarheidsprobleem
pl	Polish Problem spełnialności
pt	Portuguese Problema de satisfatibilidade booliana
ro	Romanian Problema satisfiabilității booleene
ru	Russian Задача выполнимости булевых формул
sh	Serbo-Croatian SAT problem
simple	Simple English Boolean satisfiability problem
sr	Serbian САТ проблем
th	Thai ปัญหาความสอดคล้องแบบบูล
uk	Ukrainian Задача здійсненності булевих формул
zh	Chinese 布尔可满足性问题

Best Rank

English: #34245 12.2014

Global: #47845 01.2011

Best Rank

English: #1199 12.2001

Global: #1288 12.2001

On 1 July 2026 in multilingual Wikipedia, Internet users most often read articles on the following topics: 2026 FIFA World Cup, Kylian Mbappé, Erling Haaland, Democratic Republic of the Congo, FIFA World Cup, Harry Kane, Romelu Lukaku, Senegal, Michael Olise, Sadio Mané.

In English Wikipedia the most popular articles on that day were: 2026 FIFA World Cup, Harry Kane, Julián Quiñones, List of FIFA World Cup top goalscorers, Kylian Mbappé, Democratic Republic of the Congo, Erling Haaland, DR Congo national football team, Melat Kiros, FIFA World Cup.

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 50 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from July, 2026. When calculating current popularity and AI of articles data from June 2026 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2026... More information